A unifying approach to temporal constraint reasoning

A Constraint-Propagation Approach to Probabilistic Reasoning

The paper demonstrates that strict adherence to probability theory does not preclude the use of concurrent, self-activated constraint-propagation mechanisms for managing uncertainty. Maintaining local records of sources-of-belief allows both predictive and diagnostic inferences to be activated simultaneously and propagate harmoniously towards a stable equilibrium.

A Constraint Satisfaction Approach to Geospatial Reasoning

The large number of data sources on the Internet can be used to augment and verify the accuracy of geospatial sources, such as gazetteers and annotated satellite imagery. Data sources such as satellite imagery, maps, gazetteers and vector data have been traditionally used in geographic information systems (GIS), but nontraditional geospatial data, such as online phone books and property records...

Temporal Constraint Reasoning With Preferences

A number of reasoning problems involving the manipulation of temporal information can be viewed as implicitly inducing an ordering of decisions involving time (associated with durations or orderings of events) on the basis of preferences. For example, a pair of events might be constrained to occur in a certain order, and, in addition, it might be preferable that the delay between them be as lar...

Temporal Reasoning and Constraint Programming a Survey

A Multi - agent Based Architecture to Qualitative Temporal Constraint Reasoning

Qualitative Reasoning (Q.R) is an inferring technique using a qualitative model to derive new qualitative knowledge. It’s closer to human reasoning and offers the advantage to coping with incomplete information and allows to predict the studied system’s behaviour. So, the main benefit of Q.R is that it is possible to provide an approximate solution to a given real world problem when all detaile...